type T = readonly
